Received: by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA13057; Wed, 29 Mar 95 01:06:53 PST
Received: from mailhost.tue.nl by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA13041; Wed, 29 Mar 95 01:06:49 PST
Received: from terra.stack.urc.tue.nl (terra.stack.urc.tue.nl [131.155.140.128]) by mailhost.tue.nl (8.6.10) with SMTP id LAA16977 for <announce@cs.ucdavis.edu>; Wed, 29 Mar 1995 11:04:46 +0200
Received: from snail.stack.urc.tue.nl by terra.stack.urc.tue.nl (4.1/1.53)
id AA05166; Wed, 29 Mar 95 11:04:41 +0200
Received: (leon@localhost) by snail.stack.urc.tue.nl (8.6.10/8.6.4) id LAA04482 for announce@cs.ucdavis.edu; Wed, 29 Mar 1995 11:04:44 +0200